Generating Parallel Applications from Models Based on Petri Nets

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance Models Based on Petri Nets

Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, ...

متن کامل

Csp Generation from Petri-nets Models

The use of traditional production planning techniques is constrained by large numbers of decision variables, uncertainty in demand and time production, and non-deterministic system behaviour, characteristics intrinsic in manufacturing. The aim of this paper is to present a methodology that combines the modelling power of petri-nets (PN) to represent both manufacturing architecture and productio...

متن کامل

Dependability Models Based on Petri Nets and Markov Chains

This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.

متن کامل

Functorial Models for Petri Nets

We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy is not completely satisfactory, because it lacks universality and also functoriality. We introduce the notion of pre-net to recover these aspe...

متن کامل

Generating Enterprise Applications from Models

For developing large and complex applications, industrial practice uses a combination of non-formal notations and methods. Different notations are used to specify the properties of different aspects of an application and these specifications are transformed into their corresponding implementations through the steps of a development process. The development process relies heavily on manual verif...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Electrical and Electronic Engineering

سال: 2012

ISSN: 1804-3119,1336-1376

DOI: 10.15598/aeee.v10i1.563